Monitoring Java Programs with Java PathExplorer
نویسندگان
چکیده
منابع مشابه
Bytecode Monitoring of Java Programs
A performance prediction system (PACE – Performance Analysis Characterisation Environment) has been implemented to characterise the performance of C, Fortran and Mathematica codes. With the current increase in the popularity of the Java platform, PACE is being extended to characterise and predict distributed Java applications within dynamic heterogeneous environments. With the modern implementa...
متن کاملJava PathExplorer - A Runtime Veri cation Tool
We describe recent work on designing an environment, called Java PathExplorer, for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level speci cations, including temporal logic formulae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An initi...
متن کاملJava Pathexplorer -a Runtime Veriication Tool
We describe recent work on designing an environment , called Java PathExplorer, for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level speciications, including temporal logic formu-lae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An ini...
متن کاملAn Overview of the Runtime Verification Tool Java PathExplorer
We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPaX. JPaX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPaX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provide...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00253-1